$\forall$$A$, $B$:Type, $x$, $y$:$A$. inl($x$) $=$ inl($y$) $\in$ $A$+$B$ $\Rightarrow$ $x$ $=$ $y$